package com.googlecode.kipler.reasoning;

import com.googlecode.kipler.syntax.concept.Concept;

public class ApplicationResult {
	private boolean applied;
	private Concept interpolant;

	public boolean isApplied() {
		return applied;
	}

	public void setApplied(boolean applied) {
		this.applied = applied;
	}

	public Concept getInterpolant() {
		return interpolant;
	}

	public void setInterpolant(Concept interpolant) {
		this.interpolant = interpolant;
	}

}
